(declare-const v0 Bool)
(declare-const v1 Bool)
(declare-const v2 Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const v5 Bool)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const v9 Bool)
(declare-const v10 Bool)
(declare-const v11 Bool)
(declare-const v12 Bool)
(declare-const v13 Bool)
(declare-const v14 Bool)
(declare-const r1 Real)
(declare-const r2 Real)
(declare-const r4 Real)
(declare-const v15 Bool)
(assert (not (> 0.0 0.0 0.413376997 r4)))
(declare-const v16 Bool)
(assert v7)
(assert (xor (> 0.0 0.0 0.413376997 r4) v13 (>= 78.6065885 (/ 78.6065885 (/ r4 r1)) r2) v12 (not v10) v10))
(declare-const v17 Bool)
(assert v7)
(assert v15)
(declare-const r5 Real)
(assert (or v16 v11 v4 v10 v8))
(declare-const v18 Bool)
(assert v6)
(check-sat)
